（来源：上观新闻）
出品｜👨❤️💋👨🇹🇨虎嗅科技组 作⚛者｜宋思杭🏐 编辑🛩🥅｜苗正卿 🍳🇮🇶头图｜视觉中⛑国 今🥈天准备融资的💷梁文锋🦑🆘，已经不是♠🎃一年前💏💖的那个🧧梁文锋了🇫🇲。北京时👁间4月1🇧🇪7日，📨Open📩🐞AI对🇱🇻🤪旗下A🎀I编程🖥🇾🇹智能体🗺平台Cod🥥ex进🇩🇴➿行升级🇱🇺，使其能够在后台🇦🇴控制MacOS应◽⏪用程序，运行多🇷🇪🇯🇵个Agent以👨🚀执行测试和👨🦰⛑前端开发等🇯🇪👂任务，并集成🦜了包括JI🇻🇳👮RA和GitH☎ub在内的90多💰个插件🇸🇽。
我当然🇵🇪👨🎤希望能走进每一🧁🗾座城市，但现🙉🧛♂️实条件限🍕制我们无法做🌛到🐦。如果我们没有创⏪建所有CUDA-😂🈳X库，使👘它们面向特定领🤙域……十多年前，🤚🦶我们开💪🎳始着眼于领域专🙇用的库🧞♀️💝。但现在发生🥀🎅了什么？我们恰恰🐈缺少放🇵🇬射科医生🎁。因此，F🇻🇮C-BGA🌹的技术难🇨🇳度，本质上🇵🇱已经逼近“🌨准芯片制造🇩🇯⛹️♀️”⏯。其次，如果你是🇮🇳🇬🇷一个开发人🏍员，在构建任何东🎩☪西时，最重🖲要的事情就是安装🍑基础🇲🇼🖤。
评测采用了三🍣💾个指标🦂🏊。如今你在Co👌dex应用👨🏫中用到💇的许多功能，其🏠🇻🇮实都源自🇨🇭🔽工程师们从底层出🕊🎾发提出的绝妙🐋🙆创意，因为他们自🏣😘己也想用这些功🇨🇰⚪能🏭。图丨从左至右分🇲🇬别是：王肇国、陈🛀🇦🇲海波和丁浩然♣（来源：受访者👨🎨🔴） 跳出“🇷🇺将错就错”🤱🎹：AI 🧥开始从需🕗求验证代码📓🐤 那么，F👩👦👦🍬M-Agent ✌🐐是如何将🥶形式化方法用于🚫大规模系统🤺的？要理解这个问🕴题，我们得🐎先回溯到⚛图灵奖得主托👨🦰尼·霍尔（To⚜ny Hoare🇲🇾）早在 👴20 世纪 6💇🇧🇸0 年代为代码验👩🚀证指明📋的方向—👨🏫—组合式推理（☯Compos🦒itiona🎢👩🚀l Reas💀onin🇺🇸🇦🇩g）🇻🇨🇧🇯。
